nat($r$;$a$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$